Extremal \u3cem\u3eH\u3c/em\u3e-Colorings of Graphs with Fixed Minimum Degree

For graphs G and H, a homomorphism from G to H, or H-coloring of G, is a map from the vertices of G to the vertices of H that preserves adjacency. When H is composed of an edge with one looped endvertex, an H-coloring of G corresponds to an independent set in G. Galvin showed that, for sufficiently large n, the complete bipartite graph Κ is the n-vertex graph with minimum degree δ that has the largest number of independent sets. In this article, we begin the project of generalizing this result to arbitrary H. Writing hom(G,H) for the number of H-colorings of G, we show that for fixed H and δ=1 or δ=2, hom(G,H) ≤max[hom(Kσ+1, H)^(n/2σ), hom(Kσ,n-δ, H)] for any n-vertex G with minimum degree δ (for sufficiently large n). We also provide examples of H for which the maximum is achieved by and other H for which the maximum is achieved by hom(Kσ+1, H)^(n/2σ). For δ≥3 (and sufficiently large n), we provide an infinite family of H for which hom(G,H)≤ hom(Kσ,n-δ, H) for any n-vertex G with minimum degree δ. The results generalize to weighted H-colorings

Extremal H-Colorings of Graphs with Fixed Minimum Degree

For graphs G and H, a homomorphism from G to H, or H-coloring of G, is a map from the vertices of G to the vertices of H that preserves adjacency. When H is composed of an edge with one looped endvertex, an H-coloring of G corresponds to an independent set in G. Galvin showed that, for sufficiently large n, the complete bipartite graph Kδ,n-δ is the n-vertex graph with minimum degree δ that has the largest number of independent sets. In this paper, we begin the project of generalizing this result to arbitrary H. Writing hom(G, H) for the number of H-colorings of G, we show that for fixed H and δ = 1 or δ = 2, hom(G, H) ≤ max{hom(Kδ+1,H)n⁄δ =1, hom(Kδ,δ,H)n⁄2δ, hom(Kδ,n-δ,H)} for any n-vertex G with minimum degree δ (for sufficiently large n). We also provide examples of H for which the maximum is achieved by hom(Kδ+1, H)n⁄δ+1 and other H for which the maximum is achieved by hom(Kδ,δ,H)n⁄2δ. For δ ≥ 3 (and sufficiently large n), we provide a infinite family of H for which hom(G, H) ≤ hom (Kδ,n-δ, H) for any n-vertex G with minimum degree δ. The results generalize to weighted H-colorings

Extremal \u3cem\u3eH\u3c/em\u3e-Colorings of Trees and 2-connected Graphs

For graphs G and H, an H-coloring of G is an adjacency preserving map from the vertices of G to the vertices of H. H-colorings generalize such notions as independent sets and proper colorings in graphs. There has been much recent research on the extremal question of finding the graph(s) among a fixed family that maximize or minimize the number of H-colorings. In this paper, we prove several results in this area. First, we find a class of graphs H with the property that for each H∈H, the n-vertex tree that minimizes the number of H -colorings is the path Pn. We then present a new proof of a theorem of Sidorenko, valid for large n, that for every H the star K1,n−1 is the n-vertex tree that maximizes the number of H-colorings. Our proof uses a stability technique which we also use to show that for any non-regular H (and certain regular H ) the complete bipartite graph K2,n−2 maximizes the number of H-colorings of n -vertex 2-connected graphs. Finally, we show that the cycle Cn has the most proper q-colorings among all n-vertex 2-connected graphs

On comparability of bigrassmannian permutations

Let Sn and Gn denote the respective sets of ordinary and bigrassmannian (BG) permutations of order n, and let (Gn,≤) denote the Bruhat ordering permutation poset. We study the restricted poset (Bn,≤), first providing a simple criterion for comparability. This criterion is used to show that that the poset is connected, to enumerate the saturated chains between elements, and to enumerate the number of maximal elements below r fixed elements. It also quickly produces formulas for β(ω) (α(ω), respectively), the number of BG permutations weakly below (weakly above, respectively) a fixed ω ∈ Bn, and is used to compute the Mo¨bius function on any interval in Bn. We then turn to a probabilistic study of β = β(ω) (α = α(ω) respectively) for the uniformly random ω ∈ Bn. We show that α and β are equidistributed, and that β is of the same order as its expectation with high probability, but fails to concentrate about its mean. This latter fact derives from the limiting distribution of β/n3. We also compute the probability that randomly chosen BG permutations form a 2- or 3-element multichain

Trivial Meet and Join within the Lattice of Monotone Triangles

The lattice of monotone triangles $(\mathfrak{M}_n,\le)$ ordered by entry-wise comparisons is studied. Let $\tau_{\min}$ denote the unique minimal element in this lattice, and $\tau_{\max}$ the unique maximum. The number of $r$-tuples of monotone triangles $(\tau_1,\ldots,\tau_r)$ with minimal infimum $\tau_{\min}$ (maximal supremum $\tau_{\max}$, resp.) is shown to asymptotically approach $r|\mathfrak{M}_n|^{r-1}$ as $n \to \infty$. Thus, with high probability this event implies that one of the $\tau_i$ is $\tau_{\min}$ ($\tau_{\max}$, resp.). Higher-order error terms are also discussed.Comment: 15 page

Counting Independent Sets of a Fixed Size in Graphs with Given Minimum Degree

Galvin showed that for all fixed δ and sufficiently large n, the n-vertex graph with minimum degree δ that admits the most independent sets is the complete bipartite graph . He conjectured that except perhaps for some small values of t, the same graph yields the maximum count of independent sets of size t for each possible t. Evidence for this conjecture was recently provided by Alexander, Cutler, and Mink, who showed that for all triples with , no n-vertex bipartite graph with minimum degree δ admits more independent sets of size t than . Here, we make further progress. We show that for all triples with and , no n-vertex graph with minimum degree δ admits more independent sets of size t than , and we obtain the same conclusion for and . Our proofs lead us naturally to the study of an interesting family of critical graphs, namely those of minimum degree δ whose minimum degree drops on deletion of an edge or a vertex